Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
361	April 29, 2010 — Final version for proceedings of LICS’10 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-04-29 08:06:06 Mathematical logic Formal languages Propositional calculus Golden ratio Well-formed formula Entailment Linear temporal logic Principia Mathematica Logic Logical syntax Metalogic
362	THE COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV ALESSIO GUGLIELMI A BSTRACT . This brief survey contains an informal presentation of the commutative/noncommutative linear logic BV in terms of a naif space-temporal model. Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2014-05-08 11:14:10 Mathematics Calculus of structures Deep inference Linear logic Cut-elimination theorem Proof calculus Analytic proof Sequent calculus Propositional calculus Logic Mathematical logic Proof theory
363	Lifting-journal-final.dvi Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2012-03-23 13:01:55 Operator theory Ordinary differential equations Spectral theory Linear temporal logic Spectral theory of ordinary differential equations Mathematics Mathematical analysis Function
364	i i Kerson Huang: Quantum Field Theory — Chap. huang8467c01 — [removed] — 8:33 — page 1 — le-tex i Add to Reading List Source URL: www.wiley-vch.de Language: English - Date: 2010-02-22 21:03:13 Schrödinger equation Quantum harmonic oscillator Μ operator Quantum field theory Operator Hamiltonian Self-adjoint operator Linear temporal logic Mathematical descriptions of physical laws Physics Quantum mechanics Wave function
365	Symbolic Model Checking without BDDs? Armin Biere1 , Alessandro Cimatti2 , Edmund Clarke1 , and Yunshan Zhu1 1 Computer Science Department, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, U.S.A Add to Reading List Source URL: fmv.jku.at Language: English - Date: 2014-06-26 06:44:43 Theoretical computer science Linear temporal logic CTL* Modal logic Model checking Kripke structure FO Natural deduction Linear temporal logic to Büchi automaton Mathematical logic Logic Temporal logic
366	Automated Runtime Verification with Eagle Allen Goldberg and Klaus Havelund Kestrel Technology, Palo Alto, California, USA {goldberg,havelund}@kestreltechnology.com Abstract. E AGLE is a very powerful logic for expressi Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:22 Temporal logic Linear temporal logic ALGOL 68 Monitor Model checking Agle Propositional calculus Logic Mathematical logic Software engineering
367	Rule-Based Runtime Verification Howard Barringer?1 , Allen Goldberg2 , Klaus Havelund2 and Koushik Sen??3 1 2 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:56 Model theory Linear temporal logic Temporal logic Interpretation Modal logic Elementary class Structure Parity of a permutation Trace Logic Mathematics Algebra
368	Microsoft Word - WhCh0504.doc Add to Reading List Source URL: www.quantumfieldtheory.info Language: English - Date: 2012-08-10 12:08:33 Symbol Dirac delta function Fermionic field Function Linear temporal logic Μ operator Mathematical analysis Mathematics Functions and mappings
369	Microsoft Word - website_Chap05_2nd_edition.doc Add to Reading List Source URL: www.quantumfieldtheory.info Language: English - Date: 2013-12-19 12:14:09 Symbol Fermionic field Dirac delta function Feynman diagram Propagator Linear temporal logic Μ operator Physics Quantum field theory Particle physics
370	Morphisms, Hemimorphisms and Baer ∗ -Semigroups C. Piron1 The relationship between CROCs (complete orthomodular lattices) and complete Baer ∗ semigroups is discussed using an explicit construction of the adjoint of a Add to Reading List Source URL: www.phytheomat.ch Language: English - Date: 2007-12-26 07:15:25 Mathematics Operator theory Linear temporal logic Functional analysis Adjoint functors Projection

UPDATE